$\forall$$T$:Type, $L$:($T$ List), $R$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$)\} $\rightarrow$es\_realizer\{i:l\}).
\\[0ex]Rall($L$; $x$.$R$($x$)) $\in$ es\_realizer\{i:l\}